1. July 2, 2011. Proceedings-Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27
پدیدآورنده : / we, Dag Normann, Ivan Soskov, Alexandra Soskova (eds.)نPablo Arrighi, Renan Fargetton, Vincent Nesme (auth.), Benedikt L
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. Models of Computation in Context
پدیدآورنده : / we, Dag Normann, Ivan Soskov, Alexandra SoskovaنBenedikt L
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
3. Order Computability-Higher
پدیدآورنده : / John Longley, Dag Normann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
4. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
9
.
6
.
N6
1980
5. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
1
.
L4
v
.
811
6. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
no
.
811
7. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory,، Computable functions
رده :
QA
3
.
L28
no
.
811